- axiomatizes
- axiomatize (Amer.) v. express a theory as a set of basic assumption (also axiomatise)

*English contemporary dictionary.
2014.*

- axiomatizes
- axiomatize (Amer.) v. express a theory as a set of basic assumption (also axiomatise)

*English contemporary dictionary.
2014.*

**Boolean algebra (logic)**— For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… … Wikipedia**Category theory**— In mathematics, category theory deals in an abstract way with mathematical structures and relationships between them: it abstracts from sets and functions to objects and morphisms . Categories now appear in most branches of mathematics and in… … Wikipedia**Ordered field**— In mathematics, an ordered field is a field together with a total ordering of its elements that is compatible with the field operations. Historically, the axiomatization of an ordered field was abstracted gradually from the real numbers, by… … Wikipedia**Characterizations of the category of topological spaces**— In mathematics, a topological space is usually defined in terms of open sets. However, there are many equivalent characterizations of the category of topological spaces. Each of these definitions provides a new way of thinking about topological… … Wikipedia**Tarski's axiomatization of the reals**— In 1936, Alfred Tarski set out an axiomatization of the real numbers and their arithmetic, consisting of only the 8 axioms shown below and a mere four primitive notions: the set of reals denoted R, a binary total order over R, denoted by infix … Wikipedia